числа Дедекинда

Секретное число Дедекинда раскрыто: ученые решили одну из самых сложных задач в комбинаторике после 32 лет поисков

Процесс занял около 10 миллиардов часов процессорного времени.